PHP notices in binaries.php