See: https://github.com/JonathanSalwan/ROPgadget/issues/13