fixing bug in fat binary loading