Initial import of 64bit Linux static binary