add lock64.c: for x86_64