better fix to execute update_binaries.php from update_binaries_threaded.php