Fix to avoid Mono 3 xbuild bug

This is needed for Ubuntu trusty since it comes with Mono 3.2 instead
of Mono 2.10.