run tests with mono on linux: fix