HOL ZIP filesystem continued

Hi Back in july I was asking for help about the HOL fs. I was put on an other project for a whiele so I have not been working on it since. Now I am back and the problem is still the same. ...