fix 64-bit bootstrap build