chipmunk fixes for Linux