Tweak mail/gnumail version 1.2.0_4