release number bumped to 908 by export.pike
release number bumped to 909 by export.pike