@jashkenas @moumar binaries that still lurk in repo that should be clobbered?