It was indeed that ia32libs was not installed. On installing them, and gtk, everything went in without problems. Dunno whether gtk was needed, because I did it without thinking before trying just with ia32. Peter