Fix linux header printing issue