Patch for travis-ci