Remove no-longer-used file.