I didn't get any linux binaries when I used hldsupdatetool, only win32. Can you please make the linux binaries a priority?
Separate names with a comma.