Tweak to coverage collection to workaround Aldec bug