I changed the scripts for running unit tests / integration tests so that they generate distinct coverage files.