[tinderbox] tweak mail subject to avoid gmail confusion