US government shutdown averted