Ref issue #98 Add a missing header file.