Make distcheck doesn't pass

We missed a few files during make clean. See branch distcheck in my repo for a proposed fix.