Print paths for .vhd, .vsv, .bin files using virtual machine .xml file