So currently GCW only officially releases the development toolchain for 32 linux systems. Why is this? Would it be hard to create a port for 64 bit? Are there any plans to? I believe I've seen ports to get it on Windows. Has anyone made one that works on 64 bit linux, or is there anything I can do to make it work? Ubuntu 14.04 if that matters. Thanks.