builder: Change how EXTRA_DIST is generated.

So that we don't need to change this every time we upload
a new operating system signature.
Version 1.25.16.