Fix the build with Mono 2.10