Adjust Travis-CI configuration