Last fix for travis config