small modifications to pythonpath in setenv, and to alias