Remove some unwanted files that sneaked in 861736ade314445ce87bae7d9cad264f80a47103.