Debian/Ubuntu x64 fixes; arbitrary Ubuntu version name selection