Makefile fixes

I would like to propose some cleanup of the Makefile. See the commit messages for details.

Merge request reports

Loading