Hi!
If you have installed VirtualBox then your system should recognize the .ova files properly. Another solution is to open VirtualBox and drag’n’drop the ova file into it.

Greetings!
Diego