Ok. I just had a conversation with the new codecs maintainer from MPlayer team and he told me that he will replace the distfiles to another directory, so that 3.4 & 3.5 will be fixed in a few days. But please test my diff, that is in my previous mail. Thanks.