Out-of-tree fix for instal-spudtools target.