CONFIG_PID_FILE_PATH: new configuration option for pidfile paths