I run Toolshed on my 64 bit linux laptop. Does it work on 32 bit os's and/or raspberry pi, if so where would I get the appropriate binary ?