CHANGE: Update simuconf.tab for 12.x