awk -v 'LIBDIR='$LIBDIR -v 'LIBDIR9='$LIBDIR9 '
BEGIN{
	for(i = 1; i < ARGC; i++) {
		lib = ARGV[i];
		if(lib ~ /^ns./) {
			pref = "ns";
			lib = substr(lib, 3);
		}
		else
			pref = "";
		dir = LIBDIR;
		printf("%s/%slib%s.a\n", dir, pref, lib);
	}
	exit;
}' $* # | sed 's/
//'