According to the Python documentation, the "profile" module is part of the standard library.

But I can't find it.

On my home machine, I was able to add it using apt-get install. (ie. it's split out into a separate ubuntu package.)

On my work machine, (also ubuntu) I'm running in a virtualenv, so apt-get install isn't relevant. I can install python modules from pypi using easy-install, but I can't see anything on pypi which corresponds to the profiling module. (Presumably because it's meant to be part of the standard python install.)

So how can I install it in this environment?