Fix echos in binaries.php