Minor updates for 64-bit linux.