Fix some issues with coverage measurement. Don't capture output anymore (just in case something peculiar is printed).