to remove pidfile a bit more cleanly