Delete .#naive.cc