The gubg package now eats the boost headers when building for arduino