Also install "tools/config"