Add micro defs to mini file. How do scheme people do deps?