Unfortnately the MSI stuff complains that lines in ddf files are too
long, so we need to use SHORT_NAMES.  But use it only on Windows because
the file names are mostly just numbers then and totally unpredictable;
the documentation for the website must not be built on Windows.

Change-Id: I5d7d917bf34c55424259cf04bb13cb8c26fe409b