ci: remove unnecessary dependency on Linux headers