use autoinsert to instert file headers; add python header t.py