WITH_USB_RECORD_REPLAY option should be disabled when USB is not available
See
!150 (merged)
.