Use nacl_bootstrap_helper on Linux and fix the platform #defines