Compiling hfsp as vfs module