Fixing env-related old-php-version issue