linux/tools/wmi/Makefile