Yes, I did download and install the armv7l loaders, as recommended by the wizard. I tried the generix linux 32bit drivers as well. Once I replaced them, the install.php stopped me with "ioncube extension: NOT Installed You can download it from here ioncube.com/loaders.php", so I guess it is...