timestamp for include/isl/config.h
