fix travis config (#16)