Merge branch 'master' into dev-2

Signed-off-by: Wanpeng Song <swpustc@mail.ustc.edu.cn>
Fix user props
修正属性表设置

Signed-off-by: Wanpeng Song <swpustc@mail.ustc.edu.cn>
Fix gmp build event
修正gmp编译事件

Signed-off-by: Wanpeng Song <swpustc@mail.ustc.edu.cn>
Merge branch 'dev-2'

Signed-off-by: Wanpeng Song <swpustc@mail.ustc.edu.cn>