I've kept looking for a better answer -- either something automated or for someone upstream to fix the build system -- but this is probably the best we can do for the moment.
If we could get this applied to the buildbot, that would be great; it'd make the kludge moot for the majority of users. Dan -- Dan R. K. Ports https://drkp.net/
