install_BEDTools.sh: deal with another variation on source code directory name.