add support for non-standard mysql port in config.in and index.php