final fixes and hacks to get box2d to compile