Ubuntu trusty64 and not precise64