This will be useful anyway, then we can get stuff like `#server_pidfile` from there.