HOL filesystem does not seem to work.

Hi I have tried to follow the exsample in the tutorial how to use a HOL filesystem(the one where you include your filesystem as a ZIP file). my code: # include <stdio.h> int main() ...