box2d benchmark fixes