* Lib/sgi/flp.py: fix caching bug (always write the whole file to

the cache!)