try to fix travis (see https://github.com/travis-ci/travis-ci/issues/2219#issuecomment-41804942)