Enforce 72 DPI on Windows.

This ensures that e.g. PDFs printed on Windows look the same as
printed on Linux, where we also enforce 72 DPI.