add patch to find mono in /opt/mono instead of /opt/mono-openpetra