robomongo-git: forgot to remove unneeded patch files