fix for travis config