[est31]

Only as a verification step though, not to obtain the actual binary, which will be included in the .crate package, where it IMO should not be put.