The author has decided to include the patch and rerolled the
distfile under the same name (although it's labeled version 2.0c
on the website). files/patch-mp3.c needs to be deleted.
I decided to delete the old distfile in the pre-fetch target. I hope
this is acceptable. Should I use the old checksum instead of the old
size to determine if it's the old distfile?