No *.000 files found. Well, one ... but it has nothing to do with divdiv. It's a mystery.