minor changes to gitignore and makefile.mzi