Fix build option for agoresolver