Informal deal reached to avert government shutdown