Finally remove the Travis-CI ZeroMQ PPA.