php-Pimple: sync with rawhide