Remove a needless file for now