Manually setting db version in mysql-base.php. See #802 for details on fixing this bug.