Another fix for travis config