Bugfix on shared memory allocator