make the C* backend the default