more CI
hunting strange Makefile bug