Update iofuzz.py