downloading binary is unfortunately currently broken