Fix "obsolete pid file" message formatting