Try to fix the travis-ci setup.