fix compile errors on 64-bit linux due to differing integer/pointer widths