Add utf-8 coding pragma.