Re: [PATCH] [v2] ubsan: build ubsan.c more conservatively