Stop 'rustc --test' warning of an unused main()

Tentative fix for issue #12327.