away (old .Plo files in them showed to cause build problems for at
least another dev and me, and they also cause problems after .c->.cc
renames).


BUILD/FINISH.sh:
  use distclean in BUILD/compile* scripts to make sure .deps dirs go away (old .Plo files in them showed to
  +cause build problems for at least another dev and me).