oops, re-add NoHelperAIs config setting, it is used! (fix #3800)
fix path in8d17b013f679cbf0990d87dfc0bcee57229c80c3