linux32 header bug