configure_args is now an array

Note that the of use += requires bash 3.1 or later.