r11769: remove pentium4 optimized version
[ctsim.git] / debian / compat
1 4