Unable to download tools with an .EXE file extension