ddk编译驱动时找不到BufferOverflowK.lib怎么办

编译时出错
1>NMAKE : fatal error U1073: don't know how to make 'C:\WINDDK\3790~1.121\lib\wxp\i386\BufferOverflowK.lib'
怎么解决？

SOURCES：

TARGETNAME=aaa
TARGETPATH=.
TARGETTYPE=DRIVER
NTDEBUG=ntsd
SOURCES= MyPort.c

MyPort.c：

#include <ntddk.h>

NTSTATUS DriverEntry(IN PDRIVER_OBJECT DriverObject, IN PUNICODE_STRING RegistryPath)
{    
    return STATUS_SUCCESS;
}

我在照着《Windows驱动开发技术详解》书中所述编译时，也出了这个问题。
到D:\WINDDK\3790.1218\lib\wxp\i386文件夹下找了，根本没有那个库文件，倒是在D:\WINDDK\3790.1218\lib\w2k\i386找到了那个库文件，复制过去，再编译就通过了。