fix travis setup (the 2nd..)