https://lancecleveland.com/2016/06/29/changing-php-version-on-vagrant/