in case HP decide to retire their debian repo