Add support for non-standard MySQL port number