BIG bugfix in conv_micro.py
Newer strace_description for LevelDB1.10 without mtrace_shadow, but with debug symbols