New option --makefile-name.