avoid_unwanted_optimisation.patch
