It looks like I may have solved the problem by substituting vcvars64.bat for vcvars32.bat. Please let me know if there are any other changes that need to be made to produce a 64-bit dll.

Thanks,

Jonathan Sachs