Fix problems with travis