Add option to specify the MySQL server port