Patch for issue #155 in travis-CI