this is a virus, isn't it?
No
https://www.virustotal.com/gui/file/862cd7ab7c81b20a4e848888bc2493dda0181759c399... yes it is a virus