patch for the patch of travis.yml