"Resolving" travis CI problem