Usage:

remove-ds-admin.pl fatnew-g77 pingAll.py db_verify clean-crl ps.map htmerge sserver mpichversion ntpd obrotamer pcl_pcd_convert_NaN_nan pmload proxy-init.pl arb_shader_objects-getuniform remctld updatecss.sh prettify_json.rb texfont ndpexhaust26 cdfmoy drbl-user-cp expo.itt fastaq_strip_illumina_suffix flextra.gfs x86_64-linux-gnu-gcc-ar orbd check-module g_dyecoupl_d hpcd miz3e check-ifupdown-scripts-zg2.d-symlinks indi_simulator_ccd kanjipad ksplice-create avifile-config estconfig pmt-fd0ssh tightspark fasta2frag mkc_test_helper obm-dir pages2epub python-dbg python2-gen_protorpc fitsmd5 ripperx ferret-browser pdp7 statusreport.cgi