Macro -DNO_UPL is not working properly

[adrianomg]

If -DNO_UPL is in the global configuration file, it makes no effect, since UPL and -lupl still be included in the Makefile. It should ignore any UPL key present in the json files.

[adrianomg]

The only solution to fix that at the moment is to manually remove UPL calls from the configuration file of every benchmark, while still adding the -DNO_UPL macro.