Re-work include-file code so it can check timestamps on included files.