MT#9905 Use bash's Shell Parameter Expansion feature for $debootstrap_options