Binary: shorten

bti djvudigital dspam euare-useruploadpolicy euca-delete-volume fig2pdf pgmap makebootfat ppmddumpfont DRAWEXE openocd slptool pcl_icp2d tidy xrdstagetool aws arm-linux-gnueabi-elfedit Configurator.java grab-account coqtop.opt dh_perl cathparse eric5_diff jlint sieveeditor latexrevise lxsession-default check-catalog-file-path.pl roarpluginrunner xx-hg-merge