Be specific on the linux flavor