Fix std_defs yet again
Fix std_defs yet again

jcranmer/mcsema,chubbymaggie/mcsema,trailofbits/mcsema,trailofbits/mcsema,alessandrogario/mcsema,jcranmer/mcsema,alessandrogario/mcsema,jcranmer/mcsema,trailofbits/mcsema,chubbymaggie/mcsema,chubbymaggie/mcsema,alessandrogario/mcsema,alessandrogario/mcsema,chubbymaggie/mcsema,jcranmer/mcsema,trailofbits/mcsema