Deleted two devtools.c files.