Makefile.in also needed in CI