[pull] develop from harvard-lil:develop#147

pull[bot] merged 5 commits intofakegit:developfakegit/capstone:developfrom

harvard-lil:developharvard-lil/capstone:developCopy head branch name to clipboard