Fix encoding header in python files