changed name of aforementioned modules from php-* to php5-*