[FIX] correct handling of do_munmap()