Installation error: drush via phar 404

[sjgllghr]

When I run vagrant up --provision && vagrant ssh, I get:

TASK: [../core/cibox-drush | Install Drush via phar] **************************
default: failed: [127.0.0.1] => {"changed": true, "cmd": "wget https://s3.amazonaws.com/files.drush.org/drush.phar", "delta": "0:00:00.465474", "end": "2018-08-30 02:29:33.350003", "rc": 8, "start": "2018-08-30 02:29:32.884529", "warnings": ["Consider using get_url module rather than running wget"]}
default: stderr: --2018-08-30 02:29:32-- https://s3.amazonaws.com/files.drush.org/drush.phar
default: Resolving s3.amazonaws.com (s3.amazonaws.com)... 52.216.97.213
default: Connecting to s3.amazonaws.com (s3.amazonaws.com)|52.216.97.213|:443... connected.
default: HTTP request sent, awaiting response... 404 Not Found
default: 2018-08-30 02:29:33 ERROR 404: Not Found.
default:
default: FATAL: all hosts have already failed -- aborting

I took a look at https://s3.amazonaws.com/files.drush.org/drush.phar and it has a "NoSuchKey" XML error.

It looks like more recent drush.phar releases can be found at https://github.com/drush-ops/drush/releases.

For instance, if I switch the s3 link in line 3 of /provisioning/ansible/core/cibox-drush/tasks/phar_install.yml to point to https://github.com/drush-ops/drush/releases/download/8.1.9/drush.phar, it seems to work.