Switch travis to specs