fix bug in binary downloading