I downloaded the distribution again from http://www.openafs.org/release/latest.html in hopes that there was some problem with the download of that module, but the diff shows no problem. I read that one person on this list went back to OpenAFS 1.2.10 due to a different missing symbol. I didn't read whether the result was successful or not. Does anyone know?