Opam folders are not hidden anymoreé