--- ocm-gtk/ocm-gtk.in.org 2013-05-07 13:03:06.000000000 +0200 +++ ocm-gtk/ocm-gtk.in 2013-12-04 19:00:56.080512649 +0100 @@ -1,3 +1,3 @@ #!/bin/sh cd "@expanded_libdir@/opencachemanager" -exec mono "@expanded_libdir@/opencachemanager/ocm-gtk.exe" "$@" +exec mono --runtime=v4.0 "@expanded_libdir@/opencachemanager/ocm-gtk.exe" "$@"