try to fix travis, maybe that helps