Let's delete this file, since it's not in use.