timestamp for isl_config.h
