Add a header file I forgot in the last commit :(