bin2mem: set the output file to the 2nd argument

Signed-off-by: Alban Gruin <alban.gruin@univ-tlse3.fr>

bench/utils/bin2mem.py

@@ -40,8 +40,7 @@ if(len(sys.argv) < 2):
     print "Usage bin2mem.py FILENAME"
     quit()
 
-filename = sys.argv[1].strip('.bin') + ".mem"
-
+filename = sys.argv[2]
 mem_file  = open(filename,    'wb')
 
 with open(sys.argv[1], "rb") as f: