Make /opt/mono work as a prefix