Remove unnecessary files in third_party/bigint