fixing travis CI configuration