add missing include to dist
Authored by: Jean-Francois Dockes 2018-09-01
Parent(s): [67af07]
Child(ren): [984d61]