Fix dijkstra.cc filename.