let result_compile file r =
    if r<>0
    then Task.failed "Compilation of '%s' failed" file
    else Task.return ()