Targeting DivX (DX50) files

I want to turn on forceVTranscoding for DivX files on the profile for my Sony Blu-ray player. I checked the guide, and in the "Matches" section I saw the list of acceptable vCodec values. The only problem is that DivX files seem to match the same container and vCodec as XviD files:
Here's one that plays just fine on my Blu-ray player:
And here is one that Serviio doesn't transcode, and then fails to play with an error saying that the file is corrupted:
As you can see, both are in avi containers and show up as mpeg4. So when I set it up to force video transcoding on avi files matching vCodec "mpeg4", it ends up transcoding XviD as well, which is unnecessary as the Blu-ray player can play this codec natively.
Is there any way to specifically target DivX files?
Here's one that plays just fine on my Blu-ray player:
- Code:
Input #0, avi, from 'foo.avi':
Duration: 00:24:27.13, start: 0.000000, bitrate: 1212 kb/s
Stream #0:0: Video: mpeg4 (Advanced Simple Profile) (XVID / 0x44495658), yuv420p, 640x480 [SAR 1:1 DAR 4:3], 29.97 tbr, 29.97 tbn, 29.98 tbc
Stream #0:1: Audio: mp3 (U[0][0][0] / 0x0055), 44100 Hz, stereo, s16, 128 kb/s
And here is one that Serviio doesn't transcode, and then fails to play with an error saying that the file is corrupted:
As you can see, both are in avi containers and show up as mpeg4. So when I set it up to force video transcoding on avi files matching vCodec "mpeg4", it ends up transcoding XviD as well, which is unnecessary as the Blu-ray player can play this codec natively.
Is there any way to specifically target DivX files?