Revert "Apparently this makes an obscure way of building things on Debian work."

Olivier now thinks this is probably too weird to be justified. This reverts
commit 31368faee49f81b7410c0c90d42b080261d1b317.
Add missing #include.