prog: shell_binaryfile