another fix for djinni makefile