Friends, thanks for your ideas but unfortunately they don't work: I've tried them all and... uhm... I'm not confusing the icon with the finder type: if I open the finder info window for one of those applications, it says they are "documents", but if I doubleclick them, they run normally...