Removed a couple of seemingly redundant keys from mysql.sql