Added script-type correction for CoqIDE plugin