- mf_cflags="-xildoff -xO0 -g -xarch=v9 -v -mt -xcode=pic32 -KPIC"
- mf_cflags_nondebug="-xildoff -xspace -xO3 -fast -xarch=v9 -v -mt -xcode=pic32 -KPIC"
+ mf_cflags="-xildoff -xO0 -g -m64 -v -mt -xcode=pic32 -KPIC"
+ mf_cflags_nondebug="-xildoff -xspace -xO3 -fast -m64 -v -mt -xcode=pic32 -KPIC"