Update GF2util.py