Handle the fact that binaries are now hosted on the OpenCOR website (rather than the OpenCOR repository itself; #185).