Correctly apply the default pointer size