Fix compilation broken after dee3724a13
Fix compilation broken after 53d89b6c10