tweak PHP version in composer.json