Update libfig.py