Better extension mismatch detection between Zend and PHP exts