I cannot export a project if I selected Arduino as a board - export of other board groups is working.