Update int_ext.py

closing file