Update version number in bash_default.ini

Update version number in bash_default.ini