add mult_mips_gcc.h