Tiny install cleanup to fix a warning