adjust SharedMessagePool memory, too; compute user heap correctly