Changing machine Makefiles to detect version of VirtualBox