32-bit or 64-bit?I know it is available for 32-bit linux. To use it on 64-bit linux youneed to use automatix2.