Switch back to php-version and default php 5