Fixes #5459: Update tools even if promises were not repaired