Fix startup of server for Travis CI