The text a5b45999dc91, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
mono-cil-strip(1) on Linux now
