Use portable REPR names.