workaround: stripping caused some builds to fail