Rebuild cache if source file newer

The tool should check modification time stamps to ensure that it does not read an outdated cache which could led to hard-to-debug errors.