Use a dedicated HTTP header encoder for better performance