php-horde-Horde-Cache: cleanups