php-pecl-krb5: switch spec (review approved)
php-pecl-krb5: add numerical prefix to extension configuration file