The DLL name for winspool is actually winspool.drv.
[bugs#2045] wtsapi32.h not working for _WIN32_WINNT_WINXP.
Update build-aux to current.
Merge branch '4.0-dev'