make clean vs distclean

Otherwise, if make built it, then clean should delete it.
If configure built it, then distclean should delete it.