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

Tentative fix for issue 12327