tools/elevator.exe tools/gpgv.exe tools/gpgv.gpg tools/sox.exe tools/tag.exe tools/wget.exe tools/wupdate.exe