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