* cosmetic change in the makefile and script