Actually remove the unneeded files in the last commit.