Add encoding to Python source