Fix Makefile for CI usage