New zinc version.

With bugfixes needed by the new scala_compile.py.