Animation with .gif.jpg extension downloaded

[jvlianodorneles]

Not 100% sure if it's an issue or not...

Example: https://imgur.com/gallery/b8ONB

The page contains an gifv animation (and the page source code also has a link to an mp4 video with the same filename). It´s somehow possible to retrieve that mp4 file instead of the .gif.jpg?
This "issue" seems to affect only gifs larger than 2Mb.

Other example: https://imgur.com/gallery/ypA9z

Here I get the correct file (the mp4 one).