[tools] testbot: Show the right filename in LoadLogErrors()'s BadLog message.