Fix weird deallocation bug on Linux, cause still unclear...