php-horde-Horde-Prefs: fix requires