toplevel: dist stuff
elliptic_curves: fix idempotence