Fix standalone builds of public headers
See merge request !1358 (merged)
(cherry picked from commit d72b7fe7)
f50cae8a Embed PyAllenHelper.h in allen.py c6d77641 Add missing include (needed with g++13)
See merge request !1358 (merged)
(cherry picked from commit d72b7fe7)
f50cae8a Embed PyAllenHelper.h in allen.py c6d77641 Add missing include (needed with g++13)