Default port for MySQL and next patch release