Fix headers on Linux