fixing travis setup (2nd attempt)