bump version in settings.ini.php