Well, that was silly of me.

Revert "Remove install files"

This reverts commit 76d72d7aa1604021a4115e67c5816415a57af6fd.