[GHC] #12865: POSIX osDecommitMemory has nasty compatibility problems