Trying one more thing to fix the travis-ci issue