Work around constant name clash (bug 1021196)