Rework Makefile.ci; try to fix Travis CI build