fix file encoding
coverall test