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

Alles klar, ich schau mir das im Detail nochmal an und würde mich gegebenenfalls zurückmelden. Die Provisionierung wurde von mir nicht durchgeführt weil der Schritt im Handbuch nicht vorkommt. Aber jetzt weiß ich wo der Hund begraben liegt. 

Vielen Dank für die schnelle Hilfestellung! Top!