py: Update ext.py