Bug#130132: arch debian packages

[Tom Lord]

       Tom: do you intend to resolve the /bin/arch issue yourself,
       or should i rename arch just for debian?

I will.

-t