fix bug with the definition of file modification dates