Fixes #5459: copy tools only if they are updated
Merge pull request #495 from ncharles/bug_5459/int/change_copy_for_tools

Fixes #5459: copy tools only if they are updated