trivial_rdline: rename binary