compcert: build with 64-bit compiler, add darwin support