add include to make sure swig sees it