Deleted src/bashlets-env.sh.