Wie kann ich die PHP-Version der Shopware-Vagrant-Box ändern?

Ohne das --branch 0.1 verwendest du dann den aktuellen master branch.