fix includes on Linux