Failure to import "time"?

[Charles Cazabon]

Hello, Python people,

I had a fellow write to me with a problem using a piece of Python software 
I wrote.  It threw an exception for him, specifically an import exception 
while trying to import the time module.  "time" is a builtin module, and 
the documentation says "it is always available".  Well, maybe not so much.

The fellow claims to have compiled Python 1.5.2 from the source tarball on 
python.org, on a Redhat 6.x machine.  Anyone have any idea how "time" could 
fail to be available in this situation?

Thanks for any help,

Charles Cazabon
c_cazabon at hotmail.com