#459: add reader encoding