binaries; update linux 64 bit