release number bumped to 740 by export.pike
release number bumped to 741 by export.pike