Support for php extensions in debug mode