Synopsis: We can get rid of the check, but we'll need a more clever
naming scheme for the fake packages used to register libraries for
detailed test suites.
In that case I will do the same for benchmarks right now, as their future detailed interface will have the same issue. We can remove those checks once we do something clever with the generated library names.
Could you remind me how test agents (other than the one included in Cabal) are supposed to link against the generated library?
-- Johan