smartid builds on Ubuntu 64-bit