avcodec: cosmetic cleanup on header