This patch produces the correct pointer size