Update direnv.py