More explicit specification of virtualenv.py