Hi Andreas, Unfortunately I didn't receive your bugreport and only seen in the BTS recently. The python-greenlet package doesn't define the header installation location itself. I believe it's the python-setuptools code that installs into the incorrect directory. Will consult with Python maintainers about this.
Thanks, Laszlo/GCS