We build a zend_extension (not a regular PHP module).