automatic generation of py_*sketch.h