Issue#75: add an optional argument to change the makefile name