* env.sh: switch back to 4.00.1