php-ini option was required but should not