Also updated the scripts with the according names and the Makefile with the new
link to the binary file.