4 <file>tools/elevator.exe</file>
5 <file>tools/gpgv.exe</file>
6 <file>tools/keyring.gpg</file>
7 <file>tools/nc.i386.exe</file>
8 <file>tools/nc.x64.exe</file>
9 <file>tools/sox.exe</file>
10 <file>tools/tag.exe</file>
11 <file>tools/wget.exe</file>
12 <file>tools/wupdate.exe</file>