Lightly modified Makefile, just a pretext to be cited as contributor