release number bumped to 768 by export.pike
release number bumped to 769 by export.pike