Binary: recordwin.sh

eg mzn-gecode font2c kcarectl lbunzip2 xbuild vm-support pvbatch_openmpi ysearch ppod2latex fbo-readpixels triangle-rasterization qhelpconverter vglserver_config affix arm-linux-gnueabihf-nm csoundqt dh-dzil-refresh ubuntu-distro-info djvubind update-gconf-defaults rm_text htconfig gcm-viewer hxtabletrans mono-fpm klog.krb5 parcimonie-torified-gpg lv2_list snp-sites