Got rid of update-alternatives in the Travis config because apparently there are no alternatives.