attempt to fix compilation failure on build server
Authored by: thibautd 2015-05-18
Parent: [r33155]
Child: [r33157]