Define Python source code encoding