CI build: makefile fix