Fixes #5459: copy tools only if they are updated