workaround to fix travis ci error