Please find attached a debdiff correcting the situation describe above, which has given me problems compiling illuminator, whose configure script fails because it can not locate libmpi.so.
Please find attached a debdiff correcting the situation describe above, which has given me problems compiling illuminator, whose configure script fails because it can not locate libmpi.so.