minor change from Ubuntu to more generalized Linux