Binary: alt_getopt.sh

dfbmaster emem fastasplit gpk-update-viewer vcddiff testpattern h5pfc hp-sendfax gphoto2-port-config pamstereogram arb-quads-follow-provoking-vertex proxyfuzz ld.gold bowtie2-inspect-l cdfbn2 debian-installer-launcher lprdvi rmiregistry gnomekiss mdrun_mpi_d.openmpi igal2 wakeup-latency-report minbif veinfo t22out.txt.gz roarpluginrunner smp_conf_zone_man_pass sweethome3d-furniture-editor dh_installtex maxima