Существует ppa для Mono 4.x https://launchpad.net/~keks9n/+archive/monodevelop-latest
, это должно сделать трюк.