I must ask, does a 32-bit version of Linux work, and, if not, will there be a 32 bit version in the future? This is a great tool!