build.xml: Fix coverage-test tested modules

Stupid copy+paste mistake, no doubt.