release number bumped to 828 by export.pike
release number bumped to 829 by export.pike
Configure: Inhibit machine code with gcc 4.6.0 and later.

The machine code generator is broken when compiled with
gcc 4.6.0 and later, so disable it in that case.