fix http port number for travis