SERVER-9275 use the correct config key for pid file

Now https://jira.mongodb.org/browse/SERVER-9275

(was https://jira.mongodb.org/browse/SERVER-9252)