Update init_syntool_dev.sh