The installed file is called `.exe`?