fix linux header install