batstat: fix file encoding