I have changed the name of the Machine despite file name having a different name and i still get no error to be shown  EDIT my configuration for prob is below `let g:prob_parser = "/mnt/c/users/muizu/downloads/ProB/probcli"` I am using wsl for this