Missing some nacl_sha512 files