Add option to specify the mysql port