Fixup to update-tools-list to not lose tools sometimes (whoops)