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