[ "$prefix_auto" = 1 ] && prefix="opt/mono" set_confopt sysconfdir=${sysconfdir%/mono} PATH="$root/$prefix/bin:$PATH"