I can confirm this. None of the 1.2-5 vkd3d packages contain the headers: particularly not libvkd3d-headers and not libvkd3d-dev.
The workaround is to go back to vkd3d 1.2-3 (if you can find the corresponding packages that is). -- Francois Gouget <fgou...@free.fr> http://fgouget.free.fr/ The greatest programming project of all took six days; on the seventh day the programmer rested. We've been trying to debug the *&^%$#@ thing ever since. Moral: design before you implement.
