Fix: hardcoded pointer size, segfault on 64 bit Linux