Record in the time-stamp of setup.ml the last time it was updated.