It seems that gdb cannot find debuginfo on f32