Update osext.py