SERVER-9252 use the correct config key for pid file

https://jira.mongodb.org/browse/SERVER-9252