to change the makefile to make bingte-*.iso