Require python3, fix env.sh bug