\ProvidesFile{rerunfilecheck.cfg}[2019/12/05 Default configuration]% \RerunFileCheckSetup{aux} %% \section{Installation}