timestamp for src/include/ngspice/config.h
