Any chance updating this to 2.4 of Box2D to get the latest fixes ? And thanks for the port, its great and saved me a lot of work.