Fixed compilation error of progen