php-horde: cleanups