Temporary 32-bit version of OpenCog Linux player