Actually we are switching now to 14.04 LTS, because it is a new LTS version, it has much newer Mono support available and we have time. Actually if I remember correctly the lib32 subsystem changed from 12.04 to 14.04 (the packaging structure). Marten