r8013: add fixnum-width
[kmrcl.git] / debian / compat
1 4