add debian/etc/php.ini