release number bumped to 766 by export.pike
release number bumped to 767 by export.pike