mirage: add mistakenly ignored makefile