Update resolv.py