FIX: bug in pset destroy_mmemmapfile