travis modifications for server