I get the change to `cextinction` (since the module will now be public), but isn't a relative import appropriate here?