Had an error pulling down the SDK, and FsCheck uses a different URL, so let's try that.