[Fix #252] Specify the file's encoding explicitly