[Linux x86-64] Remove useless header