Fix VirtualBox installation according to http://www.joeyconway.com/blog/2014/05/23/ubuntu-virtualbox-repository-configuration/