debug travis: forgot global leak