Workaround for bug in Mono 3 xbuild

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