Renamed user to resolve name conflict, modify mcs to read and write pids to and from mnesia