Fixing Mono on some Linux installations