OpenCL: support bbbattle input format
Use clang on OS X by default