release number bumped to 854 by export.pike
release number bumped to 855 by export.pike