Thanks for your suggestion.
At the moment I'm using plain-vanilla VMWare Tools. Although the absence of vmci is an irritant, it is not a killer, so I'm happy to stick with the official version of Tools.
