release number bumped to 776 by export.pike
release number bumped to 777 by export.pike