config: keep a list of included files When refreshing we need to refresh if any of the files have been touched, so we need to keep the list.