Ubuntu version should default to empty, not precise