Vagrant box running Mono on Ubuntu