redirect php5-dev to byte-php5* package