release number bumped to 878 by export.pike
release number bumped to 879 by export.pike