Use dynamic server port and specify a common port number for Travis