fixing travis CI configuration...