fix for Travis config