Итак, сегодня поставил таки миранду на линукс. Не скажу, то это было просто, но в итоге оно работает. Выглядит это вот так: