Fix deserialisation of AcquireMutex