savedcmd_lib/crypto/built-in.a := rm -f lib/crypto/built-in.a;  printf "lib/crypto/%s " memneq.o utils.o chacha.o libchacha.o aes.o gf128mul.o blake2s.o blake2s-generic.o blake2s-selftest.o chacha20poly1305.o chacha20poly1305-selftest.o curve25519-hacl64.o curve25519-generic.o curve25519.o curve25519-selftest.o des.o poly1305-donna64.o poly1305.o sha1.o sha256.o mpi/built-in.a | xargs ar cDPrST lib/crypto/built-in.a
