fixing upgrade path in mysql.sql