this might be necessary for 32-bit...