Cleanup php-pimf