Changes to support NaCl instead of PNaCl. Only x86_64 supported for now.