Я просто хочу знать, как изменить имя исполняемого файла, который создает monodevelop.Кажется, я нигде не могу найти этот вариант.