Thanks, here’s an updated patch. If you’re interested in CI, I keep some personal mirrors of the bintutils-gdb repository so I took the liberty to turn on Travis CI for one–you can find that here: https://travis-ci.org/github/saagarjha/binutils-gdb. It’s nothing official, of course, but you might still be able to find it useful to consult (ideally, it should match the main repo by about 10 minutes). As you can see, it’s already caught a new build error ;)