Binary: proof

als libval-config bfin-linux-gnu-gcc h5copy mbsync which maketext draw-elements-base-vertex puttytel perltex wannier90.x v4l-conf xmonad-start cgroupfs-umount printforward gfsview-batch2D hatop addr6 unsq jdresolve mpv mtdinfo gaps is_older_than spectool_net multibibliography tilestache-render unbound-host wgdb xtermcontrol