the distribution has a 'headers' attribute that is used in 'install_headers'. Where is that attribute set from ? In the current design I would expect 'Extension' to set them, but they don't contain them... Regards, Stefan