Updating machine Makefiles to detect version of VirtualBox