Seems those headers was lost in past... But I have good news - I'm working on new header(not a port, like Paul Robello made) for the latest version of Chipmunk(5.3.2), and I think it will be available soon with dll/so/dylib and demo(s) for ZenGL Most of work already done.