Modified scripts to follow syntool's new commands