Fixes for ubuntu 14.04 (trusty) with virtualbox-4.2