This eliminates our sdist-time dependency on Makefile or make.cmd on
Windows. Fewer moving pieces are better.

Fixes #1076