release number bumped to 774 by export.pike
release number bumped to 775 by export.pike