Update version number in InstallFullDB.sh