Add possible fix for Travis config