Make travis config work