provision.sh: refined .profile