fix travis, maybe...