Download of Makefile.nacl-32 (Makefile.nacl-32: 886 bytes) will begin shortly. If not so, click Makefile.nacl-32.