Thanks, I'd looked at that page, but couldn't find the normal.tgz file anywhere. It may be good to update that page to say something like:
"The .cwe file found in the downloaded .zip file is actually a tar file. Rename it to .tar and then extract normal.tgz from it" - to avoid exactly what I did this morning 🙂
Paul.