I'm not sure whether it makes more sense to make this change, or to
change the build system to build -prof -dynamic libraries. But at least
this change suffices to make the two match, so the tests don't all fail
due to missing libraries.