Really include the smoke-test run in the coverage

Turns out --source=check_manifest doesn't work when you execute
check_manifest as a script ("module check_manifest never imported" or
something like that).