#3 info to compile 32bits on 64bits linux