fix travis setup