Modified tiddlydesktop PKGBUILD to download 32bit or 64bit accordingly.
Not sure if the dynamic switching at build time is a good practicem but
it works.