Build: Enable default-case (fixes #881)