Travis: adjust command line