A few improvements and fixes to gcee.py.