Delete obsolete script make_jsgf.sh