Hi Christian, Thanks for the feedback. It seems that all the new features work as expected.
Christian Franke wrote:
BTW, the Makefile problem is also fixed.
Thanks. I fixed it as suggested by Paul Smith, the maintainer of GNU make. Best regards, Antonio.