Fix core WST file
[jabaws.git] / binaries / src / muscle / difftrees.o