Do not print the result of 'main' after invoking ':main' (fixes #9086).