default port for MySQL set