[sanitizer] fix the ppc32 build (patch by Jakub Jelinek)