fixes for travis config