release number bumped to 770 by export.pike
release number bumped to 771 by export.pike