Fixing makefile to be compatible with David Lazar's speck fix
Fixing makefile to be compatible with David Lazar's speck fix

GaloisInc/cryptol,TomMD/cryptol,ntc2/cryptol,GaloisInc/cryptol,TomMD/cryptol,dylanmc/cryptol,dylanmc/cryptol,dylanmc/cryptol,GaloisInc/cryptol,TomMD/cryptol,TomMD/cryptol