Windows installer: Add a missing file to the 'make dist' target.