Ignore mysql.properties