The safest way to proceed is to scan your computer thoroughly, with the antivirus you have, plus Malwarebytes, http://www.malwarebytes.org/
You can also search for the file server.exe manually in Windows, and delete it - in these cases I usually first zip it, and then delete the main file; that way I still have it in the zip... in case something went wrong.