Separate names with a comma.
I'm using a non-standard Debian distribution with Parallels, however while the kernel-headers ARE available and installed, the system complains...
...Or maybe give people a big warning not to upgrade to latest kernel on your Linux VM. Most distros will be on 4.15 soon !!! (4.16 is already...