(DIR) ion3
 (DIR) notion
 (DIR) xpde-bin