Fix some bugs in binaries.php.