fix ubuntu instructions