(DIR) miniroot
 (DIR) misc