release number bumped to 780 by export.pike
release number bumped to 781 by export.pike