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