Make travis specific to the server