Smart uc: fixes for Ubuntu 12.04.1, 64-bit