[Python-Dev] stat module in C -- what to do with stat.py?