/usr/bin/mautil is in mono-addins-utils 1.0+git20130406.adcd75b-3.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 | #!/bin/sh
prefix="/usr"
exec_prefix="${prefix}"
libdir="${exec_prefix}/lib/mono/mono-addins"
exec mono ${libdir}/"mautil.exe" "$@"
|