added missing dependency in analysis.yices build script