Debian/Ubuntu x64 fixes; arbitrary Ubuntu version name selection
Merge pull request #15 from major/master

Ubuntu fixes