Adds a missing header file used by dependent projects. From Alessandro De Laurenzis (maintainer); thanks!