Extra files to distribute for wordsize-32.