fix travis setup (the 4th..)