fix idris mode in MacVim

fixes a problem in MacVim where idris mode doesn't work if idris and MacVim are in different working directorys