/tools/
../
oregano-convert
spice2to3.awk