Fix Linux build after r196787

Patch from Xavier de Gaye