Hi all, I've removed the old Master/setup-w32 directory and just uploaded the new one: Master/setuptl/ containing updated installer for Windows and moreover tlpmgui installer for linux (new!). Can somebody have a try? Thanks, -- Staszek Wawrykiewicz StaW at gust.org.pl