Silence some -Wswitch-default warnings.