linux_old1/tools/wmi/Makefile