Instructions for OPAM
Use /proc/self/mounts instead of /proc/self/mountinfo