Incremental compilation requires to provide the list of modified files even if not necessary

Incremental compilation requires to provide the list of the modified files since the last compilation. However this could be error-prone and violates the DRY principle, because this list could be automatically calculated.