[infer] fix build
[infer] fix build

Reviewed By: sblackshear, dr-hu

Differential Revision: D6733603

fbshipit-source-id: ed22753

facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer