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