do not install box2d on ubuntu 12.04