OCaml functions to manipulate real file (POSIX like) and filename