Try to work around travis problem