Added some debugging to figure out why the 32-bit compatibility libraries couldn't be installed.