Correcting Xentools paths as per Nico's unmerged fix in hotfix commit bc571217d7b9f5f7dc3616245d73dad7c27473ce