coq: needs ld64