8441545d4f2afb9e9342e0dac378eafd03f00462 now builds insn-extract.o without rtl checking unconditionally.
8441545d4f2afb9 e9342e0dac378ea fd03f00462 now builds insn-extract.o without rtl checking unconditionally.