Repaired zip reading for real :-) loadfile() already deals with resource files, other stuff (graphics, audio, io namespace) does not (yet)