# Dummy file; update-binary is a shell script.