The jumbo patch includes the 32bit version of the generated header files.
This might break 64 bit builds depending on unpacking timestamps etc.

We fix it by removing the generated headers

ref #933