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