do not auto-import mk.scm, since it's not yet provided