setup: fix some old MiCore directories