Use "opt -fine" in synth script