OK, build HEAD but only on x86_64