How do we get ACTUAL url of a video (ie the raw path to the file including extension)?

Trying to pass a video hosted in Stream to a native mobile app so I need the actual url, not the serialized one provided by the share option (https://web.microsoftstream.com/embed/video/xxx)

If I can't get that I'll host the video elsewhere - Stream seems to be  a mess anyway.