Some dependencies are compiled against 4.0. 4.0 is currently also the
default runtime of mono. Therefore it makes sense to switch to 4.0. and
use dmcs rather than gmcs.