if test ${flat:-no} = yes then echo -load_files ./sun4${cedaropt}/$2.o \\ else echo -load_files `latestvux ${world}/$1/sun4${cedaropt}/$2.o` \\ fi