libccd: fix build

I got no idea why the old BUILD was so broken..