Optimisation improvements to binaries.php