Optional hiding of CLI output in binaries.php