release number bumped to 746 by export.pike
release number bumped to 747 by export.pike