fix header includes on linux