Workaround bug in Linux unmap