Fix warnings and other stuff in binaries.php