hackish fixup for 32bit linking on a 64bit machine