Revert to using virtualbox