fix linux 64-bit bootstrap build