Fix error in determining vboxpath