SERVER-9252 use the correct config key for pid file