Fix submission script (again).
Disallow non-7-bit ASCII in SMT-LIB input.