VmWare 3.1.1 and C-headers