fixes to allow multiple servers to share the same pid file directory