Install headers

There is also a commit from Dani. I don't know where it came from.