I've updated the GNU/Linux archive, it now contains both the 32bits and 64bits binary, and should work fine on your operating system.
