Makefile.ci: Fix directory name issue