Fix config for Travis-CI