Remove a bashism from the bootstrap script that was leaving a weirdly named (configur...