update Makefile

Merged Ralf Jung requested to merge ci/ralf/makefile into master

Just using an MR to make sure this builds on CI.

Merge request reports