*) Remove unused file.