Fix counter-value deftype on non-x86oid SBCL.