Oh no, it didn't extract after all. But those archives could be rotten. I'm going to make it my default unarchiver anyway.