Add missing include

Authored by mlaurent on Aug 8 2019, 11:54 AM.