Travis-ci: Fix configuration