let rindex_dir_sep s = String.rindex s '/'