The default pid file is kore.pid so no need to set that explicitely