Note that I've disabled elfhack entirely on our nightly builds anyway, as it's pretty much a no-op on Ubuntu
Note that I've disabled elfhack entirely on our nightly builds anyway, as it's pretty much a no-op on Ubuntu