Post-push fix: -Wall implies -Wunused on some platforms,
which will generate thousands of warnings about unused parameters.