This should really done by the `make install` but seems not to be. It's a bit of a kludge and I'm not sure if there's a better way to do this. Suggestions welcome...