Travis: Use port 25000