waht python is available and use the right directory. Factored path stuff out of shell scripts into a shared 'setup_paths.sh'.