Rename php_ext_embed to php-embed