more Boozerfile updates