I guess we can remove that file as well then, right?