Fixing github imi file