Fix std_defs some more
Fix std_defs some more

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