Maybe fix travis config