(TTA) Checks modification date before launching a compilation.
(Backends) Do not always overwrite files in debug mode since they are
cached according to an hash mechanism.