Fix mono build. It's always the case.

Just fixes the mono build on linux.