fix server pid file name