Try harder to work around travis-ci