Fix: `OpamMisc.prettily_path` may raises `Not_found`
Merge pull request #1408 from hnrgrgr/fix_getenv

Fix: `OpamMisc.prettily_path` may raises `Not_found`