fix compilation (missing include)

Authored by dfaure on May 3 2016, 12:08 PM.