hopefully fix travis stripping !