tactile merger exports header files

[guihomework]

thanks @oggiogg

[rhaschke]

@guihomework, you should have used squash-merging to combine cleanup commits. I will force-push if the open question is answered.