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:

$ cd x1
$ phpize