problems with gdb in 4.9-2014.09_linux 32-bit