release number bumped to 778 by export.pike
release number bumped to 779 by export.pike