prototype corrections for 64-bit build