fix mic compilation bugs