fix travis script...