fix installed tools list recorder (bin/setup.sh)