fix file encoding as well