Update version number in bash_default.ini