release number bumped to 824 by export.pike
release number bumped to 825 by export.pike
[ia32] At least gentoo provides a REG_* enum, in sys/ucontext.h

Thus, move to using a more unique naming scheme - P_REG_* etc.
release number bumped to 826 by export.pike
release number bumped to 827 by export.pike
Support binary-mode file opening, on platforms where it matters
Open all files in binary mode, on platforms where this is meaningful