Portal stuff as of 5jun04 same on Alice as portal.zip but yields berlin/ 18oct09 PySZG.py has "import _PySZG" which I don't have here