Suppose this is no longer needed as of OP2/PyOP2#253?