wok: remove unused patch to unbreak build.