SERVER-11023 specify correct pidfile in rpm init script