Fixes in Travis script.