Compcert

Testing if this builds on Lion.