Was this necessary if the `primary_extension` is `.rkt`?