strip-optim-flags.patch
