Make some effort to find the real page size. Rev: src/configure.in:1.991 Rev: src/pike_embed.c:1.9 Rev: src/pike_memory.c:1.182 Rev: src/pike_memory.h:1.54 Rev: src/program.c:1.607