make `dist' work again; update binary URL in docs