add missing php-devel package