Add more compact UTF-8 declaration for Python