yacc='/usr/bin/yacc -Sm25000'
libswanted=`echo " $libswanted "| sed 's/ x / /'`