travis: disable 4.00.1 for the moment until the PPA works