Update the database version number.