VBoxTpG.cpp revision 20f21077abf35d7b7b618acb159267933907407f