Binary: proof

glchess dotty egrep ihealth ppmrainbow ocamlbuild.native rcslpd pmnsadd urifind arb_texture_buffer_object-negative-bad-format gen-compressed-teximage levelclamp pilot-foto-treo600 xclip-cutfile clang-query ocs-chnthn-functions eric5_uipreviewer hspace htremote geocpset amd64-mingw32msvc-readelf mpipython.mpich2 kf-slam olwmslave postbooks-updater qr sigcensus MapRTTransformer tsreport uwsgi_lua52