Clean up binaries.php