release number bumped to 856 by export.pike
release number bumped to 857 by export.pike