Adjust to recent RPython change.