This is an ugly fix, but I could not get `%ignore IntPair;` to work, and `IntPair` gets ignored all the same.