added jedi magefile