Deleted src/bashlets-version.sh.