Sorry for the broken master. r70871 was missing a change but I did not catch it before the master restarted (and failed to come back up). I fixed it in r70987. -Bill