fix travis, maybe