redefine non ubuntu instructions