change port to 9001 for Travis CI