tools/shorten.exe