[mms] Fix whups-mail-filter binary.

Looks like the result of a botched merge.