more travis-compatible setup