Oh. I was a bit confused at the names of the files, but now it makes sense.