Fixes in the travis configuration