Update mintpal.tcl