FYI: https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/1562600
http://bazaar.launchpad.net/~ubuntubsd/ubuntubsd/patches-xenial/download/jon%40ubuntubsd.org-20160512174248-7udzeg54c0olhavf/gdb.diff-20160426081048-uj0038tten98r2t3-16/gdb.diff -- Jon Boden ubuntuBSD -- The power of FreeBSD kernel with familiarity of Ubuntu OS! http://www.ubuntubsd.org/ -- https://twitter.com/ubuntuBSD