Hey.hope you are good
I would like to clear your doubt
some antivirus marks some files as a virus it doesn’t matter if it is not a virus but some antivirus do so
a minority of antivirus performs this type of things
the solution is that there is nothing to worry and there is nothing you must do
YOU ARE ALL SET !!!
just open that file and flash the iso you want
and about your question that of the setup
I don’t know about that the version things etc
sorry for that
BUT I HOPE YOU WILL UNDERSTAND THE SITUATION
THANKS 
