cmd_lib/crypto/libcurve25519-generic.mod := { echo  lib/crypto/curve25519-fiat32.o lib/crypto/curve25519-generic.o;  echo; } > lib/crypto/libcurve25519-generic.mod