- fix 64-bit build, hopefully without breaking Tiger build