workaround wkcmake bug.