add a server pid to log shared memory to detect double servers, some makefile rework]