moved remove_double_dots_and_double_slashes() to string.c