pmp: use /proc/$OPT_p/exe path only when available

see http://stackoverflow.com/questions/25106283/ocaml-time-profiling-on-os-x/25117917?noredirect=1#comment39108987_25117917