try to fix out of memory on Travis CI