r9383: rename file for consistency with other backends