The generated extension contains only the bare minimum of needed files, anything else needed for configuring and bulding the extension is generated by the tool %phpize% that is part of your PHP installation: