I've downloaded and executed VMware-Workstation-Full-16.2.5-20904516.x86_64.bundle
I've installed gcc and build-essentials
sudo vmware-modconfig --console --install-all : leaves me with the missing stddef.h and stdarg.h errors
mkubecek's patch does not seem to work for 16.2.5
Is there anywhere to go from here? How to I get VMware installed on this box?