Re: [webkit-dev] Some .strip files are not generated anymore