One more travis cfg fix