modify mysql.properties