ast: fixed hang when checking bin-prot
Merge branch 'master' into gui2
GUI2: use triggered() instead of activated() since it works better in Qt5