fix asm for 32bits machine