Add 64 bit pthread files