go back to just returning the file's last modification time
original makefile
Makefile diff
the files_modified kfun extension; would like to separate into two functions.. some day