It's not really a fix. I for one use the mini file for running d7II - needs the download link working.
A test might be for someone to host 64/32 binaries on their own website and see if it picks up the correct one using their links. this would tell us if the issue is a problem with the webserver at adlice, or if it's a d7II problem.
I dont have the time for this. end of financial year.