Fix TravixCI build