do not include "linuxvirtual.h" anymore; it's not needed