We should probably make SDKROOT target-specific, while we're at it.