Also, now that we're importing symbols from ASDF,
avoid redefining them due to a conflict. Oops.